Reasoning about data repetitions with counter systems
نویسندگان
چکیده
منابع مشابه
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems
We address the problem of automatic analysis of parametric counter and clock automata. We propose a semi-algorithmic approach based on using (1) expressive symbolic representation structures called Parametric DBM's, and (2) accurate extrapolation techniques allowing to speed up the reachability analysis and help its termination. The techniques we propose consist in guessing automatically the ee...
متن کاملReasoning about real-time repetitions: terminating and nonterminating
It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd–Hoare-style loop invariant that is maintained by each ...
متن کاملEditorial: Reasoning About Data
Two factors have affected the work of modem data analysts more than any others. First, the size of machine-readable data sets has increased, especially during the last decade or so. Second, computational methods and tools are being developed that enhance traditional statistical analysis. These two developments have created a new range of problems and challenges for analysts, as well as new oppo...
متن کاملReasoning about Reactive Systems
The main concern of this thesis is the formal reasoning about reactive systems, that is, systems that repeatedly act and react in interaction with their environment without necessarily terminating. When describing such systems the focus is not on what is computed but rather on the interaction capabilities over time. Moreover, reactive systems are usually highly concurrent, typically spatially d...
متن کاملReasoning About Interactive Systems
The unifying ground for interactive programs and component-based systems is the interaction between a user and the system or between a component and its environment. Modeling and reasoning about interactive systems in a formal framework is critical for ensuring the systems’ reliability and correctness. A mathematical foundation based on the idea of contracts permits this kind of reasoning. In t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2016
ISSN: 1860-5974
DOI: 10.2168/lmcs-12(3:1)2016